1. Formal specification using Z: a modelling approach
پدیدآورنده : Bottaci, Leonardo
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Z )Computer program language( , Computer Software - Development
رده :
QA
76
.
73
.
Z2
B67
1995


2. Practice and Research TechniquesتTesting
پدیدآورنده : / Leonardo Bottaci, Gordon Fraser
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
